Functional specification - PDFSEARCH.IO - Document Search Engine

Functional specification
Results: 264

#	Item
231	T2S Master Plan Status Dominique Petetin Target 2 Securities Project Team European Central Bank Add to Reading List Source URL: www.ecb.europa.eu Language: English - Date: 2007-08-29 11:53:29 Banking Securities Stock market T2S Systems engineering User requirements document Acceptance testing Requirement Functional specification Software development Software requirements Software
232	VER210_11Mar04_Corporate.book Add to Reading List Source URL: www.vsi.org Language: English - Date: 2008-07-19 13:22:26 Cadence Design Systems Model checking Specification Technology Design Management Hardware verification languages E Functional verification
233	Microsoft Word - Requirements Specification Course Configuration Guide.doc Add to Reading List Source URL: www.chambers.com.au Language: English - Date: 2012-02-15 23:31:28 Software Requirement Software Requirements Specification Systems engineering process Functional requirement Validation Business requirements RGPS Software development Software requirements Systems engineering
234	The Scala Language Specification Version 2.9 June 11, 2014 Add to Reading List Source URL: scala.epfl.ch Language: English - Date: 2014-06-10 20:01:00 Type theory Data types Functional programming Java platform Functional languages Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
235	Functional Programming and Specification Lecture Note 2, 8 March 2011 Specifying functions in Extended ML The Extended ML (EML) specification language is ML with minimal extensions for specifying Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:37:30 Quantification Predicate logic Z notation Prenex normal form Universal quantification Type theory Axiom Extended ML S Mathematical logic Logic Mathematics
236	Functional Programming and Specification Lecture Note 3, 11 March 2011 Proving that a function meets its specification We can show that a program satisfies its specification by proving that it satisfies all of the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-11 07:20:09 Inductive reasoning Mathematical logic Mathematical proofs Graph theory Mathematical induction Structural induction Recursion List Constructible universe Mathematics Software engineering Computer programming
237	Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is just Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:49 Z notation Constructible universe Axiom S Universal quantification Axioms of set theory Axiom schema of replacement First-order logic Mathematical logic Logic Mathematics
238	Functional Programming and Specification Lecture Note 4, 15 March 2011 Specifying structures in Extended ML Axioms can be used to specify structures too. A structure will typically contain several Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:39 Data types Z notation ALGOL 68 Hindley–Milner Array data type List Constructible universe S Comparison of programming languages Software engineering Computing Programming language theory
239	The Scala Language Specification Version 2.9 June 11, 2014 Add to Reading List Source URL: scala-lang.org Language: English - Date: 2014-06-10 20:01:00 Type theory Data types Functional programming Java platform Functional languages Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
240	...................................................................................................................................... bexee v.0.1 Project Documentation ................................................. Add to Reading List Source URL: bexee.sourceforge.net Language: English - Date: 2004-12-16 07:27:22 Software Process management Workflow technology Business Process Execution Language Software Requirements Specification Requirement Specification Functional requirement Software development Software requirements Management

UPDATE